Towards Reliable Integrated Services for Dependable Systems. Henrik Schi ler
نویسندگان
چکیده
Reliability issues for various technical systems are discussed and focus is directed towards distributed systems, where communication facilities are vital to maintain system functionality. Reliability in communication subsystems is considered as a resource to be shared among a number of logical connections and a reliability management framework is suggested. We suggest a network layer level reliability management protocol RRSVP (Reliability Resource Reservation Protocol) as a counterpart of the RSVP for bandwidth and time resource management. Active and passive standby is discussed as well as utilization of passive standby redundancy by background applications residing on alternative routes. Details are provided for the operation of RRSVP based on reliability slack calculus. Conclusions summarize the considerations and give directions for future research.
منابع مشابه
Interference Analysis for Dependable Systems Using Refinement and Abstraction
A common requirement for modern distributed and reactive systems is a high dependability guaranteeing reliability and security. The rigorous analysis of dependable systems specifications is of paramount importance for the reliability and security of these systems. A two-layered modal specification notation will allow the specification of services and protocols for distributed dependable systems...
متن کاملTowards a Discipline of System Engineering: Validation of Dependable Systems
Complex systems require the use of an integrated and best balanced set of components. The integration and the balanced set are crucial issues, which require some sort of verifiable compositionality property of component parts that contribute structurally, functionally, non functionally and interactionally to the total quality of the system design. This is even more important when dealing with t...
متن کاملTowards a Discipline of System Engineering: Validation of Dependable Systems Architectures
Complex systems require the use of an integrated and best balanced set of components. The integration and the balanced set are crucial issues, which require some sort of verifiable compositionality property of component parts that contribute structurally, functionally, non functionally and interactionally to the total quality of the system design. This is even more important when dealing with t...
متن کاملBuilding Dependable and Secure Web Services
Web Services offer great promise for integrating and automating software applications within and between enterprises over the Internet. However, ensuring that Web Services can satisfy their clients’ requests when their clients need them is a real challenge. In this paper we describe dependability technologies, including transparent SOAP connection failover, replication, checkpointing and messag...
متن کاملIntegrated Validation of Dependable Systems
Complex systems require the use of an integrated and best balanced set of components. The integration and the balanced set are crucial issues, which require some sort of verifiable compositionality property of component parts that contribute structurally, functionally, non functionally and interactionally to the total quality of the system design. This is even more important when dealing with t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003